newtype Reader s a = Reader (s -> a)